Les Cestodes parasites des Soricidae d'Europe Etude anatomique, révision taxonomique et biologie

Les vaccins modernes contre la peste bovine. Etude comparative des vaccins inactives et des virus attenues (virus-vaccins)

Etude sur l'Agalaxic contagieuse des chèvres et des moutons

Etude des symétries dans les modèles finis

Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...

Révision des croyances dans un environnement multiagent : Une apprche basée sur la crédibilité et les arguments

Résumé Peu de recherches se sont penchées sur la problématique de la révision des croyances dans un cadre multiagent. En tout cas, à notre connaissance, aucune ne s'est penchée sur la révision des croyances tenant compte de la crédibilité des informateurs, tout en gardant trace des arguments en faveur de la révision, une fois celle-ci e ectuée. C'est ce problème qui nous a motivé et pour lequel...

etude des rapports existants entre les modes de multiplication des arbres fruitiers et les attaques des insectes xylophages

0